健全性 (soundness)
健全性 - Wikipedia
Soundness - Wikipedia
形式體系
$ T
の證明する定理
$ A
は意味論的に恆眞である
$ T\vdash A\implies T\vDash A
。定理は恆眞な命題である
證明と反證の兩方は與へられない
$ \neg(T\vdash A\&T\cancel\vDash A)
逆は
意味論的完全性 (semantic completeness)